Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
121	Newtonian systems, bounded in space, time, mass and energy can compute all functions1 E.J. Beggs2 and J.V. Tucker3 University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-20 12:52:16 Applied mathematics Computability theory Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Quantum computer Theoretical computer science Theory of computation Computer science
122	Embedding infinitely parallel computation in Newtonian kinematics E.J. Beggs a,1 J.V. Tucker b,2 a Department b Department Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-07-15 04:55:07 Applied mathematics Computability theory Models of computation Turing machine Hypercomputation Computable function John V. Tucker Computability Computation Theoretical computer science Computer science Theory of computation
123	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES Experimental computation of real numbers by Newtonian machines by Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-10-05 05:03:30 Computer science Applied mathematics Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Computable number Computability Theoretical computer science Theory of computation Computability theory
124	Computational complexity with experiments as oracles Edwin Beggs†, Jos´e F´elix Costa‡, Bruno Loff‡ & John Tucker† † School of Physical Sciences, Swansea University, Swansea, SA2 8PP, UK ‡ Instituto Superio Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2008-04-18 12:54:46 Computability theory Theory of computation Models of computation Turing machine Computable function Oracle machine Computability Computational complexity theory Algorithm Theoretical computer science Applied mathematics Computer science
125	Computations via experiments with kinematic systems1 E.J. Beggs2 and J.V. Tucker3 University of Wales Swansea, Singleton Park, Swansea, SA3 2HN, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-16 05:09:52 Classical mechanics Computer science Applied mathematics Computable function Quantum mechanics Recursive set John V. Tucker Kinematics Computability Theory of computation Computability theory Physics
126	CiE Athens 2008 Applied Computability: A European Perspective J V Tucker Swansea University General Reflections on Models J V Tucker and J I Zucker, Abstract versus concrete computability: The case of countable Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2008-06-11 09:22:18 John V. Tucker Computer science Computability theory Logic Viggo Stoltenberg-Hansen Mathematical logic Computable function Computability Theoretical computer science Theory of computation Alumni of the University of Bristol
127	Abstract Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2002-09-23 17:38:51 Algebraic structures Universal algebra Mathematical structures John V. Tucker Model theory Computable function Subalgebra Computability theory Structure Mathematics Algebra Abstract algebra
128	Abstract Versus Concrete Computation on Metric Partial Algebras J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-12-07 12:09:43 Theoretical computer science Mathematical logic Computable function John V. Tucker Von Neumann algebra Computability Mathematical analysis Function Gelfand representation Computability theory Theory of computation Mathematics
129	Sino-Germany Project July, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Computable number Computable analysis Computable real function Low Turing machine Computable measure theory Computability Computable function Computability theory Theoretical computer science Theory of computation
130	Cupping Computably Enumerable Degrees in the Difference Hierarchy Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Applied mathematics Turing degree Recursively enumerable set Computable function Creative and productive sets Function Mathematical logic Computability theory Theory of computation Mathematics

UPDATE